// out_externals.h  (note: automatically generated file)
// Copyright (C) 2009 Willow Schlanger

enum {
	EXTERN_AF,
	EXTERN_AH,
	EXTERN_AL,
	EXTERN_AX,
	EXTERN_BH,
	EXTERN_BL,
	EXTERN_BP,
	EXTERN_BX,
	EXTERN_CF,
	EXTERN_CH,
	EXTERN_CL,
	EXTERN_CS,
	EXTERN_CX,
	EXTERN_DF,
	EXTERN_DH,
	EXTERN_DI,
	EXTERN_DL,
	EXTERN_DS,
	EXTERN_DX,
	EXTERN_EAX,
	EXTERN_EBP,
	EXTERN_EBX,
	EXTERN_ECX,
	EXTERN_EDI,
	EXTERN_EDX,
	EXTERN_ES,
	EXTERN_ESI,
	EXTERN_ESP,
	EXTERN_FS,
	EXTERN_GS,
	EXTERN_IF,
	EXTERN_OF,
	EXTERN_PF,
	EXTERN_RAX,
	EXTERN_RBP,
	EXTERN_RBPX,
	EXTERN_RBX,
	EXTERN_RCX,
	EXTERN_RDI,
	EXTERN_RDX,
	EXTERN_RFLAGS,
	EXTERN_RINT,
	EXTERN_RIP,
	EXTERN_RIP1,
	EXTERN_RIPC,
	EXTERN_RSI,
	EXTERN_RSP,
	EXTERN_RSPX,
	EXTERN_SF,
	EXTERN_SI,
	EXTERN_SP,
	EXTERN_SS,
	EXTERN_ZF,
	EXTERN_undefined,
	EXTERN__COUNT
};

extern int extern_size[];

